首页> 外文OA文献 >Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes

【2h】

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes

机译：加强业务流程中时间约束的形式化规范和验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Saoussen Cheikhrouhou; Slim Kallel; Nawal Guermouche; Mohamed Jmaiel;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. An action-based approach to the formal specification and automatic analysis of business processes under authorization constraints [J] . Alessandro Armando, Enrico Giunchiglia, Marco Maratea, Journal of computer and system sciences . 2012,第1期

机译：在授权约束下基于动作的形式规范和业务流程的自动分析方法
2. Semantic constraint specification and verification of ebXML business process specifications [J] . Jong Woo Kim, Hyoung Do Kim Expert Systems with Application . 2004,第4期

机译：语义约束规范和ebXML业务流程规范的验证
3. Formal verification of embedded logic controller specification with computer deduction in temporal logie [J] . Iwona GROBELNA Przeglad Elektrotechniczny . 2011,第12a期

机译：通过时态逻辑中的计算机演绎形式对嵌入式逻辑控制器规范进行形式验证
4. Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes [C] . Cheikhrouhou S., Kallel S., Guermouche N., IEEE International Conference on Services Computing . 2014

机译：在业务流程中加强形式规范和时间约束的验证
5. Formal specification and verification of a JVM and its bytecode verifier. [D] . Liu, Hanbing. 2006

机译：JVM及其字节码验证程序的正式规范和验证。
6. Enforcement of entailment constraints in distributed service-based business processes [O] . Waldemar Hummer, Patrick Gaubatz, Mark Strembeck, -1

机译：在基于分布式服务的业务流程中强制包含约束
7. Formal Specification and Automatic Analysis of Business Processes under Authorization Constraints: an Action-based Approach? [O] . Ro Arm, Enrico Giunchiglia, Serena Elisa Ponta 2015

机译：授权约束下业务流程的形式化规范和自动分析：基于行动的方法？
8. Using Formal Specification in the Guidance and Control Software (GCS) Experiment.Formal Design and Verification Technology for Life Critical Systems [R] . Weber, D., Jamsek, D. 1994

机译：使用指导和控制软件（GCs）实验中的形式化规范。生命关键系统的正规设计和验证技术

Enhancing Formal Specification and Verification of Temporal Constraints in Business Processes

著录项

引文网络

相似文献

相关主题

期刊订阅